On the existence of star products on quotient spaces of linear Hamiltonian torus actions

We discuss BFV deformation quantization of singular symplectic quotient spaces in the special case of linear Hamiltonian torus actions. In particular, we show that the Koszul complex on the moment map of an effective linear Hamiltonian torus action is acyclic. We rephrase the nonpositivity condition of Arms, Gotay and Jennings for linear Hamiltonian torus actions. It follows that reduced spaces of such actions admit continuous star products.Comment: 9 pages, 4 figures, uses psfra

Nowhere minimal CR submanifolds and Levi-flat hypersurfaces

A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic submanifolds of codimension 2 and a sufficient condition for noncontainment is given for non algebraic submanifolds. As a consequence, an example of a submanifold of codimension 2, not biholomorphically equivalent to an algebraic one, is given. We also investigate the structure of singularities of Levi-flat hypersurfaces.Comment: 21 pages; conjecture 2.8 was removed in proof; to appear in J. Geom. Ana

Probabilistic Weyl laws for quantized tori

For the Toeplitz quantization of complex-valued functions on a $2n$-dimensional torus we prove that the expected number of eigenvalues of small random perturbations of a quantized observable satisfies a natural Weyl law. In numerical experiments the same Weyl law also holds for ``false'' eigenvalues created by pseudospectral effects.Comment: 33 pages, 3 figures, v2 corrected listed titl

Smooth extensions of functions on separable Banach spaces

Let $X$ be a Banach space with a separable dual $X^{*}$. Let $Y\subset X$ be a closed subspace, and $f:Y\to\mathbb{R}$ a $C^{1}$-smooth function. Then we show there is a $C^{1}$ extension of $f$ to $X$.Comment: 19 pages. This version fixes a gap in the previous proof of Theorem 1 by providing a sharp version of Lemma

Formal and finite order equivalences

We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent of any finite order but not formally equivalent

On the cohomology of pseudoeffective line bundles

The goal of this survey is to present various results concerning the cohomology of pseudoeffective line bundles on compact K{\"a}hler manifolds, and related properties of their multiplier ideal sheaves. In case the curvature is strictly positive, the prototype is the well known Nadel vanishing theorem, which is itself a generalized analytic version of the fundamental Kawamata-Viehweg vanishing theorem of algebraic geometry. We are interested here in the case where the curvature is merely semipositive in the sense of currents, and the base manifold is not necessarily projective. In this situation, one can still obtain interesting information on cohomology, e.g. a Hard Lefschetz theorem with pseudoeffective coefficients, in the form of a surjectivity statement for the Lefschetz map. More recently, Junyan Cao, in his PhD thesis defended in Grenoble, obtained a general K{\"a}hler vanishing theorem that depends on the concept of numerical dimension of a given pseudoeffective line bundle. The proof of these results depends in a crucial way on a general approximation result for closed (1,1)-currents, based on the use of Bergman kernels, and the related intersection theory of currents. Another important ingredient is the recent proof by Guan and Zhou of the strong openness conjecture. As an application, we discuss a structure theorem for compact K{\"a}hler threefolds without nontrivial subvarieties, following a joint work with F.Campana and M.Verbitsky. We hope that these notes will serve as a useful guide to the more detailed and more technical papers in the literature; in some cases, we provide here substantially simplified proofs and unifying viewpoints.Comment: 39 pages. This survey is a written account of a lecture given at the Abel Symposium, Trondheim, July 201

Uniqueness of diffeomorphism invariant states on holonomy-flux algebras

Loop quantum gravity is an approach to quantum gravity that starts from the Hamiltonian formulation in terms of a connection and its canonical conjugate. Quantization proceeds in the spirit of Dirac: First one defines an algebra of basic kinematical observables and represents it through operators on a suitable Hilbert space. In a second step, one implements the constraints. The main result of the paper concerns the representation theory of the kinematical algebra: We show that there is only one cyclic representation invariant under spatial diffeomorphisms. While this result is particularly important for loop quantum gravity, we are rather general: The precise definition of the abstract *-algebra of the basic kinematical observables we give could be used for any theory in which the configuration variable is a connection with a compact structure group. The variables are constructed from the holonomy map and from the fluxes of the momentum conjugate to the connection. The uniqueness result is relevant for any such theory invariant under spatial diffeomorphisms or being a part of a diffeomorphism invariant theory.Comment: 38 pages, one figure. v2: Minor changes, final version, as published in CM

Background independent quantizations: the scalar field I

We are concerned with the issue of quantization of a scalar field in a diffeomorphism invariant manner. We apply the method used in Loop Quantum Gravity. It relies on the specific choice of scalar field variables referred to as the polymer variables. The quantization, in our formulation, amounts to introducing the `quantum' polymer *-star algebra and looking for positive linear functionals, called states. The assumed in our paper homeomorphism invariance allows to determine a complete class of the states. Except one, all of them are new. In this letter we outline the main steps and conclusions, and present the results: the GNS representations, characterization of those states which lead to essentially self adjoint momentum operators (unbounded), identification of the equivalence classes of the representations as well as of the irreducible ones. The algebra and topology of the problem, the derivation, all the technical details and more are contained in the paper-part II.Comment: 13 pages, minor corrections were made in the revised versio

Background independent quantizations: the scalar field II

We are concerned with the issue of quantization of a scalar field in a diffeomorphism invariant manner. We apply the method used in Loop Quantum Gravity. It relies on the specific choice of scalar field variables referred to as the polymer variables. The quantization, in our formulation, amounts to introducing the `quantum' polymer *-star algebra and looking for positive linear functionals, called states. Assumed in our paper homeomorphism invariance allows to derive the complete class of the states. They are determined by the homeomorphism invariant states defined on the CW-complex *-algebra. The corresponding GNS representations of the polymer *-algebra and their self-adjoint extensions are derived, the equivalence classes are found and invariant subspaces characterized. In the preceding letter (the part I) we outlined those results. Here, we present the technical details.Comment: 51 pages, LaTeX, no figures, revised versio